6. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803
7. A Survey of verification techniques for parallel programs
المؤلف: Barringer, Howard, 1591-
المکتبة: (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
8. A code mapping scheme for dataflow software pipelining
المؤلف: / by Guang R. gao,Gao
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Computer architecture,Parallel Processing (Electronic computing),Computer Software
رده :
QA
76
.
9
.
A73G36
1991
9. A code mapping scheme for dataflow software pipelining
المؤلف: / G.R. Gao
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer architecture,Parallel processing (Electronic Computers),Software computing
رده :
QA76
.
9
.
A73G36
1991
10. A course in in-memory data management :
المؤلف: Hasso Plattner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Database management.,Databases.,Science économique.
رده :
QA76
.
9
.
D3
H377
2013
11. A parallel pipeline computer architecture for speech processing
المؤلف: / by Vassilios John Georgiou
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Speech proceseing systems,Parallel proceseing (Electronic computers)
رده :
TK7882
.
S65G46
1984
12. A parallel pipeline computer architecture for speech processing
المؤلف: Georgiou, Vassilios John
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Speech processing systems,، Parallel processing )Electronic computers(
رده :
TK
7882
.
S65
.
G46
1984
13. A performance monitor for parallel programs
المؤلف: / Matthew H. Reilly,Reilly
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Parallel Processing (Computer Science),Multiprocessors
رده :
QA
76
.
642
.
R45
1990
14. A primer on scientific programming with Python /
المؤلف: Hans Petter Langtangen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
15. A survey of verification techniques for Parallel programs
المؤلف: Barringer, Howard
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
16. A survey of verification techniques for parallel programs
المؤلف: Barringer, Howard
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
17. A survey of verification techniques for parallel programs
المؤلف: Howard Barringer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
18. ACM Turing Award lectures :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
19. AI and Cognitive Science '91 :
المؤلف: edited by Humphrey Sorensen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Translators (Computer programs)
20. Active Perception and Robot Vision
المؤلف: edited by Arun K. Sood, Harry Wechsler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer hardware.,Computer science.
رده :
TJ211
.
3
E358
1992
